Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
نویسندگان
چکیده
Aristotelian diagrams, such as the square of opposition, are well-known in context normal modal logics (i.e., systems logic which can be given a relational semantics terms Kripke models). This paper studies diagrams for non-normal (based on neighborhood semantics, topologically inspired generalization semantics). In particular, we investigate phenomenon logic-sensitivity diagrams. We distinguish between four different types logic-sensitivity, viz. with respect to (i) families, (ii) logical equivalence formulas, (iii) contingency and (iv) Boolean subfamilies family. provide concrete examples that illustrate these realm logic. Next, discuss more subtle not sensitive logics, but nevertheless turn out highly logic-sensitive once
منابع مشابه
Labelled Tableaux for Non-normal Modal Logics
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
متن کاملLukasiewicz's 4-valued logic and normal modal logics
In this paper, we investigate the Lukasiewicz’s 4-valued modal logic based on the Aristotele’s modal syllogistic. We present a new interpretation of the set of algebraic truth values by introducing the truth and knowledge orderings similar to those in Belnap’s 4-valued bilattice but by replacing the original Belnap’s negation with the lattice pseudo-complement instead. Based on it, we develop a...
متن کاملInterpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic
The two main directions pursued in the present paper are the following. The rst direction was (perhaps) started by Pigozzi in 1969. In Mak 91] and Mak 79] Maksimova proved that a normal modal logic (with a single u-nary modality) has the Craig interpolation property ii the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal m...
متن کاملShape Heuristics in Aristotelian Diagrams
Aristotelian diagrams have a long and rich history in philosophical logic. Today, they are widely used in nearly all disciplines dealing with logical reasoning. Logical geometry is concerned with the theoretical study of these diagrams, from both a logical and a visual/geometrical perspective. In this paper, we argue that the concrete shape of Aristotelian diagrams can be of great heuristic val...
متن کاملThree-valued Logics in Modal Logic
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any threevalued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In gene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axioms
سال: 2021
ISSN: ['2075-1680']
DOI: https://doi.org/10.3390/axioms10030128